[prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 298

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 151 146 241 717 0 273 750

N.S.

1 1.00 0.58 0.56 0.92 2.75 0.00 1.05 2.87

time (sec)

N/A 0.131 0.456 0.369 0.520 2.058 0.000 0.453 0.331

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 162 153 222 920 0 278 104

N.S.

1 1.00 0.57 0.54 0.78 3.24 0.00 0.98 0.37

time (sec)

N/A 0.149 0.513 0.398 0.537 1.756 0.000 0.448 0.232

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 165 153 251 741 0 283 859

N.S.

1 1.00 0.57 0.53 0.87 2.56 0.00 0.98 2.97

time (sec)

N/A 0.157 0.514 0.415 0.516 2.181 0.000 0.452 0.372

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 187 170 250 974 0 303 121

N.S.

1 1.00 0.60 0.55 0.81 3.14 0.00 0.98 0.39

time (sec)

N/A 0.165 0.516 0.398 0.529 2.295 0.000 0.466 0.246

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 187 170 286 795 0 292 595

N.S.

1 1.00 0.60 0.55 0.92 2.56 0.00 0.94 1.92

time (sec)

N/A 0.170 0.535 0.402 0.520 2.087 0.000 0.447 0.399

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

332 332 209 190 276 1024 0 328 142

N.S.

1 1.00 0.63 0.57 0.83 3.08 0.00 0.99 0.43

time (sec)

N/A 0.188 0.580 0.409 0.513 2.697 0.000 0.476 0.200

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 204 191 306 817 0 321 865

N.S.

1 1.00 0.59 0.56 0.89 2.38 0.00 0.94 2.52

time (sec)

N/A 0.186 0.528 0.406 0.548 2.471 0.000 0.472 0.249

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 184 173 256 993 0 304 138

N.S.

1 1.00 0.57 0.54 0.80 3.08 0.00 0.94 0.43

time (sec)

N/A 0.171 0.581 0.528 0.491 2.441 0.000 0.461 0.261

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 184 172 283 793 0 304 760

N.S.

1 1.00 0.57 0.53 0.88 2.46 0.00 0.94 2.36

time (sec)

N/A 0.178 0.573 0.472 0.514 2.560 0.000 0.477 0.228

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 171 166 251 990 0 293 122

N.S.

1 1.00 0.58 0.57 0.86 3.38 0.00 1.00 0.42

time (sec)

N/A 0.153 0.592 0.380 0.512 2.173 0.000 0.470 0.174

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 173 167 280 806 0 298 799

N.S.

1 1.00 0.58 0.56 0.94 2.70 0.00 1.00 2.68

time (sec)

N/A 0.192 0.579 0.367 0.521 2.239 0.000 0.472 0.383

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 175 168 253 1005 0 298 124

N.S.

1 1.00 0.59 0.56 0.85 3.37 0.00 1.00 0.42

time (sec)

N/A 0.316 0.595 0.374 0.550 2.262 0.000 0.447 0.165

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 172 166 276 793 0 293 780

N.S.

1 1.00 0.59 0.57 0.94 2.71 0.00 1.00 2.66

time (sec)

N/A 0.332 0.593 0.372 0.536 3.292 0.000 0.507 0.392

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 187 173 255 988 0 300 133

N.S.

1 1.00 0.59 0.55 0.81 3.13 0.00 0.95 0.42

time (sec)

N/A 0.278 0.640 0.411 0.524 2.740 0.000 0.465 0.261

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 187 173 285 809 0 304 888

N.S.

1 1.00 0.58 0.54 0.89 2.51 0.00 0.94 2.76

time (sec)

N/A 0.177 0.538 0.408 0.503 2.615 0.000 0.563 0.446

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 209 190 285 1043 0 326 152

N.S.

1 1.00 0.61 0.55 0.83 3.04 0.00 0.95 0.44

time (sec)

N/A 0.194 0.554 0.418 0.534 2.262 0.000 0.541 0.194

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 210 190 321 864 0 315 626

N.S.

1 1.00 0.61 0.55 0.94 2.52 0.00 0.92 1.83

time (sec)

N/A 0.199 0.560 0.413 0.538 2.756 0.000 0.617 0.449

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 231 210 311 1093 0 351 173

N.S.

1 1.00 0.63 0.58 0.85 2.99 0.00 0.96 0.47

time (sec)

N/A 0.214 0.594 0.416 0.547 2.755 0.000 0.550 0.289

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 231 210 353 894 0 351 639

N.S.

1 1.00 0.63 0.58 0.97 2.45 0.00 0.96 1.75

time (sec)

N/A 0.216 0.584 0.412 0.545 2.153 0.000 0.512 0.507

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 136 307 0 123 0 0 -1

N.S.

1 1.00 0.56 1.26 0.00 0.51 0.00 0.00 -0.00

time (sec)

N/A 0.250 10.134 0.422 0.000 0.332 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 111 446 0 103 0 0 -1

N.S.

1 1.00 0.30 1.21 0.00 0.28 0.00 0.00 -0.00

time (sec)

N/A 0.307 10.116 0.510 0.000 0.325 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 111 283 0 98 0 0 -1

N.S.

1 1.00 0.54 1.39 0.00 0.48 0.00 0.00 -0.00

time (sec)

N/A 0.204 10.087 0.434 0.000 0.768 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 94 422 0 77 0 0 -1

N.S.

1 1.00 0.29 1.29 0.00 0.24 0.00 0.00 -0.00

time (sec)

N/A 0.263 10.072 0.384 0.000 0.543 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 94 257 0 74 0 0 -1

N.S.

1 1.00 0.57 1.56 0.00 0.45 0.00 0.00 -0.01

time (sec)

N/A 0.170 10.044 0.383 0.000 0.524 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 97 399 0 71 0 0 -1

N.S.

1 1.00 0.30 1.24 0.00 0.22 0.00 0.00 -0.00

time (sec)

N/A 0.246 9.145 0.389 0.000 0.450 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 97 239 0 61 0 0 -1

N.S.

1 1.00 0.60 1.47 0.00 0.37 0.00 0.00 -0.01

time (sec)

N/A 0.166 9.371 0.381 0.000 0.608 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 96 422 0 76 0 0 -1

N.S.

1 1.00 0.29 1.29 0.00 0.23 0.00 0.00 -0.00

time (sec)

N/A 0.249 10.032 0.392 0.000 0.525 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 98 255 0 71 0 0 -1

N.S.

1 1.00 0.59 1.53 0.00 0.43 0.00 0.00 -0.01

time (sec)

N/A 0.170 10.042 0.391 0.000 0.583 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 99 452 0 103 0 0 -1

N.S.

1 1.00 0.27 1.22 0.00 0.28 0.00 0.00 -0.00

time (sec)

N/A 0.294 10.046 0.391 0.000 0.552 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 98 283 0 96 0 0 -1

N.S.

1 1.00 0.48 1.39 0.00 0.47 0.00 0.00 -0.00

time (sec)

N/A 0.204 10.054 0.392 0.000 0.736 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

486 486 160 518 0 175 0 0 -1

N.S.

1 1.00 0.33 1.07 0.00 0.36 0.00 0.00 -0.00

time (sec)

N/A 0.457 10.161 0.397 0.000 0.789 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

321 321 160 355 0 170 0 0 -1

N.S.

1 1.00 0.50 1.11 0.00 0.53 0.00 0.00 -0.00

time (sec)

N/A 0.335 10.148 0.392 0.000 0.990 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

447 447 138 494 0 150 0 0 -1

N.S.

1 1.00 0.31 1.11 0.00 0.34 0.00 0.00 -0.00

time (sec)

N/A 0.407 10.134 0.380 0.000 0.569 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 138 331 0 147 0 0 -1

N.S.

1 1.00 0.49 1.17 0.00 0.52 0.00 0.00 -0.00

time (sec)

N/A 0.296 10.130 0.534 0.000 0.962 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

408 408 115 470 0 127 0 0 -1

N.S.

1 1.00 0.28 1.15 0.00 0.31 0.00 0.00 -0.00

time (sec)

N/A 0.367 10.121 0.420 0.000 0.738 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 115 307 0 121 0 0 -1

N.S.

1 1.00 0.48 1.28 0.00 0.51 0.00 0.00 -0.00

time (sec)

N/A 0.260 10.120 0.385 0.000 0.539 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 98 446 0 102 0 0 -1

N.S.

1 1.00 0.27 1.21 0.00 0.28 0.00 0.00 -0.00

time (sec)

N/A 0.314 10.071 0.386 0.000 0.714 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 97 283 0 97 0 0 -1

N.S.

1 1.00 0.48 1.41 0.00 0.48 0.00 0.00 -0.00

time (sec)

N/A 0.218 10.047 0.381 0.000 0.810 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 85 429 0 94 0 0 -1

N.S.

1 1.00 0.24 1.21 0.00 0.26 0.00 0.00 -0.00

time (sec)

N/A 0.312 10.050 0.385 0.000 0.777 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 101 260 0 86 0 0 -1

N.S.

1 1.00 0.50 1.30 0.00 0.43 0.00 0.00 -0.00

time (sec)

N/A 0.214 10.053 0.394 0.000 0.627 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

354 354 99 427 0 81 0 0 -1

N.S.

1 1.00 0.28 1.21 0.00 0.23 0.00 0.00 -0.00

time (sec)

N/A 0.323 10.038 0.398 0.000 0.657 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 101 254 0 75 0 0 -1

N.S.

1 1.00 0.50 1.25 0.00 0.37 0.00 0.00 -0.00

time (sec)

N/A 0.223 10.043 0.390 0.000 0.421 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

364 364 100 452 0 102 0 0 -1

N.S.

1 1.00 0.27 1.24 0.00 0.28 0.00 0.00 -0.00

time (sec)

N/A 0.307 10.037 0.399 0.000 0.591 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 143 298 0 122 0 0 -1

N.S.

1 1.00 0.59 1.23 0.00 0.50 0.00 0.00 -0.00

time (sec)

N/A 0.256 10.131 0.396 0.000 0.619 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 122 437 0 102 0 0 -1

N.S.

1 1.00 0.33 1.18 0.00 0.28 0.00 0.00 -0.00

time (sec)

N/A 0.314 10.106 0.391 0.000 0.650 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 122 274 0 99 0 0 -1

N.S.

1 1.00 0.60 1.34 0.00 0.49 0.00 0.00 -0.00

time (sec)

N/A 0.210 10.107 0.373 0.000 0.518 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

330 330 97 413 0 79 0 0 -1

N.S.

1 1.00 0.29 1.25 0.00 0.24 0.00 0.00 -0.00

time (sec)

N/A 0.266 10.103 0.504 0.000 0.532 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 97 248 0 73 0 0 -1

N.S.

1 1.00 0.58 1.49 0.00 0.44 0.00 0.00 -0.01

time (sec)

N/A 0.169 10.095 0.435 0.000 0.674 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 81 378 0 55 0 0 -1

N.S.

1 1.00 0.28 1.29 0.00 0.19 0.00 0.00 -0.00

time (sec)

N/A 0.219 10.065 0.379 0.000 0.413 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 80 216 0 51 0 0 -1

N.S.

1 1.00 0.62 1.66 0.00 0.39 0.00 0.00 -0.01

time (sec)

N/A 0.140 10.061 0.383 0.000 0.327 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 82 377 0 62 0 0 -1

N.S.

1 1.00 0.29 1.34 0.00 0.22 0.00 0.00 -0.00

time (sec)

N/A 0.219 10.046 0.394 0.000 0.423 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 82 219 0 57 0 0 -1

N.S.

1 1.00 0.63 1.67 0.00 0.44 0.00 0.00 -0.01

time (sec)

N/A 0.140 10.046 0.392 0.000 0.462 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

332 332 83 413 0 76 0 0 -1

N.S.

1 1.00 0.25 1.24 0.00 0.23 0.00 0.00 -0.00

time (sec)

N/A 0.283 10.041 0.395 0.000 0.525 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 85 247 0 69 0 0 -1

N.S.

1 1.00 0.51 1.48 0.00 0.41 0.00 0.00 -0.01

time (sec)

N/A 0.167 10.051 0.407 0.000 0.326 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 84 443 0 104 0 0 -1

N.S.

1 1.00 0.23 1.20 0.00 0.28 0.00 0.00 -0.00

time (sec)

N/A 0.315 10.043 0.420 0.000 0.350 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 84 274 0 96 0 0 -1

N.S.

1 1.00 0.41 1.34 0.00 0.47 0.00 0.00 -0.00

time (sec)

N/A 0.217 10.057 0.414 0.000 0.558 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 134 281 0 156 0 0 -1

N.S.

1 1.00 0.53 1.12 0.00 0.62 0.00 0.00 -0.00

time (sec)

N/A 0.266 10.130 0.437 0.000 0.692 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

377 377 110 420 0 134 0 0 -1

N.S.

1 1.00 0.29 1.11 0.00 0.36 0.00 0.00 -0.00

time (sec)

N/A 0.324 10.112 0.428 0.000 0.620 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 110 255 0 129 0 0 -1

N.S.

1 1.00 0.51 1.19 0.00 0.60 0.00 0.00 -0.00

time (sec)

N/A 0.218 10.122 0.409 0.000 0.710 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 85 394 0 106 0 0 -1

N.S.

1 1.00 0.25 1.16 0.00 0.31 0.00 0.00 -0.00

time (sec)

N/A 0.279 10.098 0.523 0.000 0.698 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 86 230 0 102 0 0 -1

N.S.

1 1.00 0.48 1.29 0.00 0.57 0.00 0.00 -0.01

time (sec)

N/A 0.184 10.096 0.477 0.000 0.415 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

299 299 78 388 0 98 0 0 -1

N.S.

1 1.00 0.26 1.30 0.00 0.33 0.00 0.00 -0.00

time (sec)

N/A 0.227 10.070 0.378 0.000 0.557 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 76 222 0 90 0 0 -1

N.S.

1 1.00 0.55 1.62 0.00 0.66 0.00 0.00 -0.01

time (sec)

N/A 0.147 10.043 0.372 0.000 0.256 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

318 318 77 392 0 115 0 0 -1

N.S.

1 1.00 0.24 1.23 0.00 0.36 0.00 0.00 -0.00

time (sec)

N/A 0.269 10.038 0.408 0.000 0.677 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 92 235 0 111 0 0 -1

N.S.

1 1.00 0.55 1.41 0.00 0.66 0.00 0.00 -0.01

time (sec)

N/A 0.173 10.052 0.398 0.000 0.509 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

368 368 79 420 0 134 0 0 -1

N.S.

1 1.00 0.21 1.14 0.00 0.36 0.00 0.00 -0.00

time (sec)

N/A 0.318 10.046 0.409 0.000 0.337 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 79 254 0 126 0 0 -1

N.S.

1 1.00 0.39 1.25 0.00 0.62 0.00 0.00 -0.00

time (sec)

N/A 0.219 10.046 0.405 0.000 0.272 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

405 405 79 450 0 163 0 0 -1

N.S.

1 1.00 0.20 1.11 0.00 0.40 0.00 0.00 -0.00

time (sec)

N/A 0.360 10.038 0.424 0.000 0.576 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 89 474 129 381 2077 603 291

N.S.

1 1.00 0.93 4.94 1.34 3.97 21.64 6.28 3.03

time (sec)

N/A 0.049 0.114 0.375 0.307 2.417 1.065 1.411 0.477

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 66 262 91 217 1051 340 179

N.S.

1 1.00 0.93 3.69 1.28 3.06 14.80 4.79 2.52

time (sec)

N/A 0.037 0.075 0.363 0.281 1.902 0.616 1.342 0.340

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 42 55 53 94 415 149 97

N.S.

1 1.00 0.93 1.22 1.18 2.09 9.22 3.31 2.16

time (sec)

N/A 0.019 0.052 0.034 0.274 2.460 0.330 1.035 0.247

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 55 0 0 0 0 0 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.075 0.067 0.000 0.000 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 92 131 0 0 0 0 0 -1

N.S.

1 0.94 1.34 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.206 0.054 0.000 0.000 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 126 135 0 0 0 0 0 -1

N.S.

1 0.90 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.117 0.069 0.000 0.000 0.000 0.000 0.000

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 63 0 112 140 0 0 -1

N.S.

1 1.00 0.66 0.00 1.18 1.47 0.00 0.00 -0.01

time (sec)

N/A 0.105 0.089 0.196 0.375 2.015 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 111 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.152 0.147 1.554 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 210 0 0 0 0 0 -1

N.S.

1 1.00 1.63 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.239 0.190 0.155 0.000 0.000 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 19 16 15 15 17 17 13

N.S.

1 1.00 1.00 0.84 0.79 0.79 0.89 0.89 0.68

time (sec)

N/A 0.019 0.004 0.393 0.493 1.510 0.031 0.531 0.171

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 36 35 11 10 16 11

N.S.

1 1.00 1.00 2.40 2.33 0.73 0.67 1.07 0.73

time (sec)

N/A 0.015 0.004 0.407 0.516 1.743 0.038 0.612 0.153

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 14 16 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.82 0.94 0.76

time (sec)

N/A 0.017 0.004 0.405 0.492 1.642 0.046 0.500 0.139

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 16 15 14 18 10 16 14

N.S.

1 1.00 1.00 0.94 0.88 1.12 0.62 1.00 0.88

time (sec)

N/A 0.010 0.003 0.423 0.298 2.225 0.027 0.497 0.129

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 52 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.034 0.093 0.018 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 0 37 43 0 48 -1

N.S.

1 1.00 1.00 0.00 2.06 2.39 0.00 2.67 -0.06

time (sec)

N/A 0.026 0.279 0.187 0.332 1.721 0.000 0.662 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

64 64 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.047 0.175 0.054 0.000 0.000 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 157 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.155 0.214 0.076 0.000 0.000 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 119 0 0 0 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.160 0.059 0.000 0.000 0.000 0.000 0.000

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 97 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.039 0.123 0.055 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 54 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.131 0.063 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 77 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.040 0.140 0.066 0.000 0.000 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 112 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.198 0.070 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

207 207 184 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.115 0.256 0.087 0.000 0.000 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

73 73 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.154 0.056 0.000 0.000 0.000 0.000 0.000

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 179 0 0 0 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.165 0.237 0.063 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 120 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.185 0.061 0.000 0.000 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 57 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.022 0.109 0.064 0.000 0.000 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 88 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.172 0.067 0.000 0.000 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 125 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.169 0.071 0.000 0.000 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 182 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.181 0.294 0.081 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]